w{-}when($w$; $x$; $e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}s($w$; ($e$.1); ($e$.2); $x$)